Alexander Craig Aitken, 1895-1967

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

Gabor Szeg6": 1895-1985

The international mathematics community has recently celebrated the 100th anniversary of Gabor SzegS"s birth. 1 Gabor Szeg6 was 90 years old when he died. He was born in Kunhegyes on January 20,1895, and died in Palo Alto on August 7, 1985. His mother's and father's names were Hermina Neuman and Adolf Szeg6, respectively. His birth was formally recorded at the registry of the Karcag Rabbinical ...

Gailey's 1895 anesthetic inhaler.

Subanesthetic concentrations of desflurane and propofol suppress recall of emotionally charged information. alpha 4 subunit knockout mice are resistant to the amnes-tic effect of isoflurane. suppresses stress-enhanced fear learning in a rodent model of post-traumatic stress disorder. After receiving his B.S. from Michigan Agricultural College and then pursuing preliminary medical studies in Mic...

Craig Interpolation via Hypersequents

In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and apply the method to prove the CIP for the modal logic S5.